$\forall$$a$,$b$:$\mathbb{Z}$. divides($a$; $b$) $\Rightarrow$ divides($b$; $a$) $\Rightarrow$ pm\_equal($a$; $b$)